﻿body {
  margin: 10px;
} 

.tip {
  font-size: 90%;
  padding-left: 20px;
}

.paramName {
  font-size: 100%;
  color: black;
} 

.paramValue {
  color: black;
}
